Plan Validation and Mixed-Initiative Planning in Space Operations
نویسندگان
چکیده
This paper describes our experiences in using our plan validation tool, VAL, in the development of a mixed-initiative plan construction tool intended to support space operations planning. VAL was initially developed to support the 3rd International Planning Competition (IPC), but has subsequently been extended in order to exploit its capabilities in plan validation and development. In particular, it has been extended to include advanced features of PDDL2.1 that were untested in the 3rd IPC but which have proved important in its application to mixed-initiative planning in the space operations project. The tool has also been extended to keep abreast of developments in PDDL, providing critical support to participants and organisers of the 4th IPC.
منابع مشابه
Mixed-Initiative Planning in Space Mission Operations
The MAPGEN system represents a successful mission infusion of mixed-initiative planning technology. MAPGEN was deployed as a mission-critical component of the ground operations system for the Mars Exploration Rover mission. Each day, the ground-planning personnel employ MAPGEN to collaboratively plan the activities of the Spirit and Opportunity rovers, with the objective of achieving as much sc...
متن کاملMixed-Initiative Planning in MAPGEN: Capabilities and Shortcomings
MAPGEN (Mixed-initiative Activity Plan GENerator) is a mixed-initiative system that employs automated constraint-based planning, scheduling, and temporal reasoning to assist the Mars Exploration Rover mission operations staff in generating the daily activity plans. This paper describes the mixed-initiative capabilities of MAPGEN, identifies shortcomings with the deployed system, and discusses o...
متن کاملActivity Planning for the Mars Exploration Rovers
Operating the Mars Exploration Rovers is a challenging, time-pressured task. Each day, the operations team must generate a new plan describing the rover activities for the next day. These plans must abide by resource limitations, safety rules, and temporal constraints. The objective is to achieve as much science as possible, choosing from a set of observation requests that oversubscribe rover r...
متن کاملI-Globe: Distributed Planning and Coordination of Mixed-initiative Activities
We present an approach to distributed planning and coordination architecture for dynamic non-deterministic multiactor mixed-initiative environment. The system provides flexible planning, replanning, and task allocation. The key idea of the presented approach is in integration of (i) I-X hierarchical planner with (ii) agent-based architecture and (iii) commitment-based plan representation. The i...
متن کاملASPEN – Automated Planning and Scheduling for Space Mission Operations
This paper describes the ASPEN system for automation of planning and scheduling for space mission operations. ASPEN contains a number of innovations including: an expressive but easy to use modeling language, multiple search (inference) engines, iterative repair suited for mixed-initiative human in loop operations, real-time replanning and response (in the CASPER system), and plan optimization....
متن کامل